Logical consequence

Logical consequence (also entailment or logical implication) is a fundamental concept in logic which describes the relationship between statements that hold true when one statement logically follows from one or more statements. A valid logical argument is one in which the conclusion is entailed by the premises, because the conclusion is the consequence of the premises. The philosophical analysis of logical consequence involves the following questions: In what sense does a conclusion follow from its premises?

Extends: [Logical consequence](https://wikipedia.org.ai/Logical consequence), [Philosophical logic](https://wikipedia.org.ai/Philosophical logic), Metalogic, [Propositional calculus](https://wikipedia.org.ai/Propositional calculus), [Semantic units](https://wikipedia.org.ai/Semantic units)